void do_tests()
{
	string str = "This is a test";
	rm("/test_file");
	write_file("/test_file", str);
	ASSERT(file_size("test_file") == strlen(str));
}
